Time-Dependent Contact Structures in Goguen Categories
نویسنده
چکیده
In this paper we focus on a time-extended theory of contact. It turns out that a suitable theory can be defined using L-valued or L-fuzzy version of a contact relation. We study this structure in the context of Goguen categories a suitable categorical formalization of L-valued/fuzzy relations.
منابع مشابه
Arrow categories
Goguen categories were introduced as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study the algebraic structures derived from Goguen categories by replacing its second-order axiom by some weaker versions.
متن کاملDerived Operations in Goguen Categories
Goguen categories were introduced in [13] as a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In this paper we want to study operations on morphisms of a Goguen category which are derived from suitable binary functions on the underlying lattice of sca...
متن کاملGoguen Categories
This paper is a survey of the theory of Goguen categories which establishes a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice L instead of the unit interval [0, 1] of the real numbers. In particular, we concentrate on representability, the existence of crisp versions of several categorical constructions, and o...
متن کاملLow-speed impact behavior of two-layer similar and dissimilar metal laminate structures
Mechanical behavior of two-layer metal laminate structures under low-speed impact loading was investigated experimentally and numerically. The experimental results were just used for validation of numerical results. Then numerical modeling was used to study the behavior of metal laminates in details. The mechanical behavior of the metal laminate structures under impact loading was found to be d...
متن کاملFormalising Ontologies and Their Relations
Software Speci cation, pages 292{332. Springer, 1980. Lecture Notes inComputer Science, Volume 86.[6] Robert L. Carpenter. The Logic of Typed Feature Structures, volume 32 of Cam-bridge Tracts in Theoretical Computer Science. Cambridge, 1992.[7] Corina Ĉ rstea. A semantical study of the object paradigm. Transfer thesis, OxfordUniversity Computing Laboratory, 1996.[8] R<l...
متن کامل